Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15, 16, 18, 20, 22, 23, 24, 25, 26, 28, 29, 31, 32, 34, 36, 38, 47, 48, 49, 50, 51, 52, 53 }

B grade: { 10, 17, 19, 27, 30, 33, 35, 39 }

C grade: { 21, 37, 40, 41, 42, 43, 44, 45, 46 }

F grade: { }

2.1.3 Maple

A grade: { 5, 9, 10, 11, 12, 13, 14, 15, 50, 51, 52 }

B grade: { 1, 2, 3, 4, 6, 7, 8, 16, 17, 18, 19, 22, 23, 24, 25, 28, 29, 30, 31, 32, 33, 34, 35, 38, 39, 40, 43, 44, 45, 48, 49 }

C grade: { 53 }

F grade: { 20, 21, 26, 27, 36, 37, 41, 42, 46, 47 }

2.1.4 Maxima

A grade: { 11, 13, 15

B grade: { 1, 2, 3, 4, 9, 50 }

C grade: { 10, 12, 14 }

F grade: { 5, 6, 7, 8, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 51, 52, 53 }

2.1.5 FriCAS

A grade: { 10, 11, 12, 14, 15 }

B grade: { 1, 2, 3, 4, 5, 6, 7, 9, 13, 16, 17, 18, 19, 20, 21, 22, 24, 25, 26, 27, 28, 30, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 47, 48, 50, 51, 52, 53 }

C grade: { 29, 31, 49 }

F grade: { 8, 23, 46 }

2.1.6 Sympy

A grade: { 3, 4, 5, 9 }

B grade: { 50 }

C grade: { }

F grade: { 1, 2, 6, 7, 8, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 51, 52, 53 }

2.1.7 Giac

A grade: { 5, 11, 15, 50 }

B grade: { 1, 2, 3, 4, 6, 7, 8, 9, 13, 28, 30, 48 }

C grade: { 10, 12, 14, 29, 31, 49 }

F grade: { 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 51, 52, 53 }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac{\text{antiderivative leaf size}}{\text{optimal antiderivative leaf size}}\)










Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 160 160 231 472 842 5446 0 973
normalized size 1 1. 1.44 2.95 5.26 34.04 0. 6.08
time (sec) N/A 0.092 2.786 0.01 1.149 2.884 0. 1.213


















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 110 110 127 344 554 2903 0 603
normalized size 1 1. 1.15 3.13 5.04 26.39 0. 5.48
time (sec) N/A 0.068 1.98 0.006 1.261 3.081 0. 1.158


















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 100 235 323 1372 170 325
normalized size 1 1. 1.35 3.18 4.36 18.54 2.3 4.39
time (sec) N/A 0.047 1.373 0.004 1.244 2.733 62.834 1.167


















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 43 43 65 144 154 489 102 139
normalized size 1 1. 1.51 3.35 3.58 11.37 2.37 3.23
time (sec) N/A 0.033 0.468 0.003 1.252 2.869 13.167 1.162


















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F(-2) B A A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 46 46 47 76 0 1249 294 92
normalized size 1 1. 1.02 1.65 0. 27.15 6.39 2.
time (sec) N/A 0.077 0.058 0.019 0. 3.22 27.793 1.146


















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 97 172 0 4703 0 277
normalized size 1 1. 1.09 1.93 0. 52.84 0. 3.11
time (sec) N/A 0.101 0.571 0.028 0. 3.717 0. 1.171


















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) B F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 142 142 147 352 0 17204 0 567
normalized size 1 1. 1.04 2.48 0. 121.15 0. 3.99
time (sec) N/A 0.16 0.328 0.029 0. 4.24 0. 1.222


















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F(-2) F(-1) F(-1) B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 201 201 203 608 0 0 0 1030
normalized size 1 1. 1.01 3.02 0. 0. 0. 5.12
time (sec) N/A 0.279 0.571 0.03 0. 0. 0. 1.293


















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B A B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 19 19 19 27 51 220 34 51
normalized size 1 1. 1. 1.42 2.68 11.58 1.79 2.68
time (sec) N/A 0.051 0.092 0.019 1.903 2.566 1.086 1.153


















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 3 3 20 4 26 4 0 35
normalized size 1 1. 6.67 1.33 8.67 1.33 0. 11.67
time (sec) N/A 0.018 0.006 0.037 1.723 2.614 0. 1.165


















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 14 14 18 15 23 78 0 31
normalized size 1 1. 1.29 1.07 1.64 5.57 0. 2.21
time (sec) N/A 0.021 0.007 0.045 1.738 2.503 0. 1.128


















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 24 24 41 21 66 4 0 81
normalized size 1 1. 1.71 0.88 2.75 0.17 0. 3.38
time (sec) N/A 0.022 0.059 0.033 1.91 3.041 0. 1.143


















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 40 28 62 737 0 70
normalized size 1 1. 1.29 0.9 2. 23.77 0. 2.26
time (sec) N/A 0.023 0.038 0.042 1.917 2.962 0. 1.179


















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A C A F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 13 13 13 14 15 4 0 32
normalized size 1 1. 1. 1.08 1.15 0.31 0. 2.46
time (sec) N/A 0.022 0.007 0.009 1.885 2.595 0. 1.132


















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A A A F A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 11 11 11 12 15 12 0 24
normalized size 1 1. 1. 1.09 1.36 1.09 0. 2.18
time (sec) N/A 0.021 0.007 0.013 1.806 2.528 0. 1.188


















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 60 253 0 6839 0 0
normalized size 1 1. 0.95 4.02 0. 108.56 0. 0.
time (sec) N/A 0.123 0.167 0.06 0. 4.46 0. 0.


















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 85 85 191 276 0 14340 0 0
normalized size 1 1. 2.25 3.25 0. 168.71 0. 0.
time (sec) N/A 0.128 0.784 0.046 0. 5.273 0. 0.


















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 44 44 44 238 0 4456 0 0
normalized size 1 1. 1. 5.41 0. 101.27 0. 0.
time (sec) N/A 0.077 0.031 0.044 0. 3.315 0. 0.


















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 137 238 0 9993 0 0
normalized size 1 1. 2.28 3.97 0. 166.55 0. 0.
time (sec) N/A 0.045 0.209 0.047 0. 4.199 0. 0.


















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 56 0 0 9991 0 0
normalized size 1 1. 1. 0. 0. 178.41 0. 0.
time (sec) N/A 0.11 0.03 0.224 0. 4.347 0. 0.


















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 48 48 42 0 0 4456 0 0
normalized size 1 1. 0.88 0. 0. 92.83 0. 0.
time (sec) N/A 0.089 0.08 0.208 0. 3.256 0. 0.


















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 82 82 86 593 0 13650 0 0
normalized size 1 1. 1.05 7.23 0. 166.46 0. 0.
time (sec) N/A 0.149 0.408 0.017 0. 7.684 0. 0.


















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F F(-1) F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 123 123 219 633 0 0 0 0
normalized size 1 1. 1.78 5.15 0. 0. 0. 0.
time (sec) N/A 0.244 0.88 0.019 0. 0. 0. 0.


















Problem 24 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 63 63 59 578 0 6994 0 0
normalized size 1 1. 0.94 9.17 0. 111.02 0. 0.
time (sec) N/A 0.102 0.152 0.018 0. 3.672 0. 0.


















Problem 25 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 88 88 161 578 0 14901 0 0
normalized size 1 1. 1.83 6.57 0. 169.33 0. 0.
time (sec) N/A 0.089 0.245 0.02 0. 4.53 0. 0.


















Problem 26 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 71 71 71 0 0 11506 0 0
normalized size 1 1. 1. 0. 0. 162.06 0. 0.
time (sec) N/A 0.139 0.06 0.161 0. 4.149 0. 0.


















Problem 27 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B F F B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 77 77 180 0 0 11956 0 0
normalized size 1 1. 2.34 0. 0. 155.27 0. 0.
time (sec) N/A 0.128 0.426 0.167 0. 4.175 0. 0.


















Problem 28 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 60 97 0 2319 0 161
normalized size 1 1. 1.94 3.13 0. 74.81 0. 5.19
time (sec) N/A 0.026 0.072 0.052 0. 2.482 0. 1.241


















Problem 29 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F C F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 45 45 62 142 0 710 0 167
normalized size 1 1. 1.38 3.16 0. 15.78 0. 3.71
time (sec) N/A 0.034 0.05 0.05 0. 2.53 0. 1.232


















Problem 30 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 50 50 116 158 0 3526 0 358
normalized size 1 1. 2.32 3.16 0. 70.52 0. 7.16
time (sec) N/A 0.039 0.33 0.018 0. 2.515 0. 1.227


















Problem 31 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F C F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 67 67 118 211 0 1103 0 385
normalized size 1 1. 1.76 3.15 0. 16.46 0. 5.75
time (sec) N/A 0.048 0.166 0.018 0. 2.144 0. 1.249


















Problem 32 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 47 47 47 129 0 4405 0 0
normalized size 1 1. 1. 2.74 0. 93.72 0. 0.
time (sec) N/A 0.11 0.099 0.05 0. 2.883 0. 0.


















Problem 33 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 60 60 134 137 0 10109 0 0
normalized size 1 1. 2.23 2.28 0. 168.48 0. 0.
time (sec) N/A 0.095 0.218 0.049 0. 3.723 0. 0.


















Problem 34 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 29 29 29 114 0 3568 0 0
normalized size 1 1. 1. 3.93 0. 123.03 0. 0.
time (sec) N/A 0.065 0.014 0.043 0. 2.476 0. 0.


















Problem 35 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 31 31 77 114 0 3792 0 0
normalized size 1 1. 2.48 3.68 0. 122.32 0. 0.
time (sec) N/A 0.027 0.118 0.047 0. 2.53 0. 0.


















Problem 36 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 56 56 56 0 0 9659 0 0
normalized size 1 1. 1. 0. 0. 172.48 0. 0.
time (sec) N/A 0.109 0.044 0.201 0. 3.781 0. 0.


















Problem 37 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F B F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 51 51 132 0 0 4629 0 0
normalized size 1 1. 2.59 0. 0. 90.76 0. 0.
time (sec) N/A 0.096 1.406 0.213 0. 2.965 0. 0.


















Problem 38 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 52 52 52 287 0 6730 0 0
normalized size 1 1. 1. 5.52 0. 129.42 0. 0.
time (sec) N/A 0.124 0.124 0.018 0. 3.281 0. 0.


















Problem 39 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A B B F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 53 53 109 289 0 6395 0 0
normalized size 1 1. 2.06 5.45 0. 120.66 0. 0.
time (sec) N/A 0.1 0.972 0.019 0. 3.404 0. 0.


















Problem 40 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 49 49 41 273 0 6395 0 0
normalized size 1 1. 0.84 5.57 0. 130.51 0. 0.
time (sec) N/A 0.087 0.041 0.019 0. 3.434 0. 0.


















Problem 41 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F B F F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 78 78 70 0 0 18423 0 0
normalized size 1 1. 0.9 0. 0. 236.19 0. 0.
time (sec) N/A 0.146 0.057 0.171 0. 6.324 0. 0.


















Problem 42 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F B F F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 85 85 240 0 0 9975 0 0
normalized size 1 1. 2.82 0. 0. 117.35 0. 0.
time (sec) N/A 0.155 7.112 0.178 0. 5.685 0. 0.


















Problem 43 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 63 435 0 15741 0 0
normalized size 1 1. 0.85 5.88 0. 212.72 0. 0.
time (sec) N/A 0.146 0.1 0.02 0. 7.761 0. 0.


















Problem 44 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F B F(-1) F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 88 88 258 454 0 15965 0 0
normalized size 1 1. 2.93 5.16 0. 181.42 0. 0.
time (sec) N/A 0.128 7.039 0.02 0. 7.92 0. 0.


















Problem 45 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C B F B F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 70 70 43 420 0 14436 0 0
normalized size 1 1. 0.61 6. 0. 206.23 0. 0.
time (sec) N/A 0.102 0.036 0.017 0. 7.434 0. 0.


















Problem 46 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A C F F F(-1) F(-1) F(-2)
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 108 108 73 0 0 0 0 0
normalized size 1 1. 0.68 0. 0. 0. 0. 0.
time (sec) N/A 0.205 0.06 0.159 0. 0. 0. 0.


















Problem 47 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A F F B F(-1) F(-2)
verified N/A Yes NO TBD TBD TBD TBD TBD
size 131 131 171 0 0 25531 0 0
normalized size 1 1. 1.31 0. 0. 194.89 0. 0.
time (sec) N/A 0.236 6.581 0.17 0. 16.668 0. 0.


















Problem 48 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F B F B
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 25 25 44 62 0 1831 0 93
normalized size 1 1. 1.76 2.48 0. 73.24 0. 3.72
time (sec) N/A 0.019 0.063 0.046 0. 2.225 0. 1.186


















Problem 49 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A B F C F C
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 27 27 46 66 0 551 0 99
normalized size 1 1. 1.7 2.44 0. 20.41 0. 3.67
time (sec) N/A 0.02 0.035 0.046 0. 2.03 0. 1.184


















Problem 50 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A B B B A
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 38 38 40 41 99 340 105 34
normalized size 1 1. 1.05 1.08 2.61 8.95 2.76 0.89
time (sec) N/A 0.067 0.075 0.026 1.685 2.319 2.014 1.17


















Problem 51 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 89 89 86 116 0 15323 0 0
normalized size 1 1. 0.97 1.3 0. 172.17 0. 0.
time (sec) N/A 0.141 0.148 0.081 0. 4.695 0. 0.


















Problem 52 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A A F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 40 40 40 37 0 3553 0 0
normalized size 1 1. 1. 0.92 0. 88.82 0. 0.
time (sec) N/A 0.076 0.015 0.055 0. 4.318 0. 0.


















Problem 53 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac









grade A A A C F B F F
verified N/A Yes Yes TBD TBD TBD TBD TBD
size 74 74 73 431 0 10031 0 0
normalized size 1 1. 0.99 5.82 0. 135.55 0. 0.
time (sec) N/A 0.12 0.48 0.022 0. 5.51 0. 0.









2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac{\text{number of rules}}{\text{integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [50] had the largest ratio of [ 0.625 ]

Table 2.1Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac{\text{number of rules}}{\text{integrand leaf size}}\)







1 A 4 3 1. 14 0.214







2 A 4 3 1. 14 0.214







3 A 4 3 1. 14 0.214







4 A 4 3 1. 14 0.214







5 A 3 3 1. 14 0.214







6 A 5 5 1. 14 0.357







7 A 6 6 1. 14 0.429







8 A 7 6 1. 14 0.429







9 A 3 3 1. 10 0.3







10 A 3 3 1. 12 0.25







11 A 4 4 1. 10 0.4







12 A 4 4 1. 12 0.333







13 A 5 5 1. 10 0.5







14 A 3 3 1. 12 0.25







15 A 3 3 1. 10 0.3







16 A 6 6 1. 17 0.353







17 A 7 6 1. 17 0.353







18 A 5 5 1. 15 0.333







19 A 6 5 1. 12 0.417







20 A 7 5 1. 15 0.333







21 A 5 5 1. 17 0.294







22 A 7 6 1. 17 0.353







23 A 8 7 1. 17 0.412







24 A 6 5 1. 15 0.333







25 A 7 6 1. 12 0.5







26 A 8 6 1. 15 0.4







27 A 7 6 1. 17 0.353







28 A 5 5 1. 10 0.5







29 A 6 5 1. 12 0.417







30 A 6 6 1. 10 0.6







31 A 7 6 1. 12 0.5







32 A 5 5 1. 17 0.294







33 A 6 5 1. 17 0.294







34 A 4 4 1. 15 0.267







35 A 3 3 1. 12 0.25







36 A 7 5 1. 15 0.333







37 A 5 5 1. 17 0.294







38 A 5 5 1. 17 0.294







39 A 4 4 1. 17 0.235







40 A 5 5 1. 15 0.333







41 A 8 6 1. 15 0.4







42 A 6 6 1. 17 0.353







43 A 6 6 1. 17 0.353







44 A 6 6 1. 17 0.353







45 A 6 5 1. 15 0.333







46 A 9 7 1. 15 0.467







47 A 7 7 1. 17 0.412







48 A 3 3 1. 10 0.3







49 A 3 3 1. 12 0.25







50 A 6 5 1. 8 0.625







51 A 8 7 1. 15 0.467







52 A 4 4 1. 15 0.267







53 A 6 6 1. 15 0.4